From Solver Collaboration Expressions to Communicating and Coordinated Agents

In order to deal with constraint solvers integration, re-usability and cooperation, we have designed a domain independent environment for constraint solver collaboration. A high level language for composing solvers using collaboration and control primitives allows one designing solver collaborations that are then automatically implemented. In this paper we are concerned with the intermediate steps that ll the gap between collaboration expressions of heterogeneous constraint solvers and their implementations in terms of distributed cooperative architectures actually able to solve constraints.